/*
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
 * 
 * Copyright (c) 2008-2009, The KiWi Project (http://www.kiwi-project.eu)
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without 
 * modification, are permitted provided that the following conditions are met:
 * - Redistributions of source code must retain the above copyright notice, 
 *   this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright notice, 
 *   this list of conditions and the following disclaimer in the documentation 
 *   and/or other materials provided with the distribution.
 * - Neither the name of the KiWi Project nor the names of its contributors 
 *   may be used to endorse or promote products derived from this software 
 *   without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE 
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 
 * POSSIBILITY OF SUCH DAMAGE.
 * 
 * Contributor(s): Jakub Kotowski
 */
package kiwi.core.service.reasoning;

import java.util.ArrayList;

/** Holds information about the reasoning process.
 * 
 * @author Jakub Kotowski
 *
 */
public class ReasoningTaskStatistics extends AbstractSummaryStatistics<RoundStatistics> {
	private int roundCount;
	private int reasoningTaskNumber;
	private String reasoningTaskDescription;

	public ReasoningTaskStatistics() {
		roundCount = 0;
		stats = new ArrayList<RoundStatistics>();
	}

	public void addRound(RoundStatistics roundStatistics) {
		roundCount++;
		roundStatistics.setRoundNumber(roundCount);
		stats.add(roundStatistics);
	}	
	
	public int getReasoningTaskNumber() {
		return reasoningTaskNumber;
	}

	public void setReasoningTaskNumber(int reasoningTaskNumber) {
		this.reasoningTaskNumber = reasoningTaskNumber;
	}

	public String getReasoningTaskDescription() {
		return reasoningTaskDescription;
	}

	public void setReasoningTaskDescription(String reasoningTaskDescription) {
		this.reasoningTaskDescription = reasoningTaskDescription;
	}
	
	public int getRoundsCount() {
		return roundCount;
	}

	public String toString() {
		StringBuffer b = new StringBuffer();
		b.append("\tReasoning task ").append(getReasoningTaskNumber()).append(" - ").append(getReasoningTaskDescription()).append('\n');
		for (RoundStatistics rs : stats)
			b.append("\t\t").append(rs.toString()).append('\n');
		return b.toString();
	}
}
